一种基于扩展XQuery的XML文档更新方法

在W3C关于XML查询语言的推荐标准XQuery的基础上扩展出一系列更新操作,并且设计了XML文档更新过程中的有效性检查机制。提出了一种XML文档的带有效性检查的更新方法。     

基于移动代理网格计算中任务调度的研究*

目的是结合虚拟组织思想,给出在移动代理环境下的网格任务调度的模型。首先,阐述了网格环境下任务调度的六个主要方面,包括任务分解、资源发现与选取、任务分配、任务运行、任务监视与恢复、任务协调与集成。接着,给出了以移动代理技术为实现手段的、虚拟组织为网格基本管理单位的网格任务调度的体系结构,并对该体系结构进行了描述。     

A formal software development approach using refinement calculus

The advantage of COOZ(Complete Object-Oriented Z) is to specify large scale software,but it does not support refinement calculus.Thus its application is comfined for software development.Including refinement calculus into COOZ overcomes its disadvantage during design and implementation.The separation between the design and implementation for structure and notation is removed as well .Then the software can be developed smoothly in the same frame.The combination of COOZ and refinement calculus can build object-oriented frame,in which the specification in COOZ is refined stepwise to code by calculus.In this paper,the development model is established.which is based on COOZ and refinement calculus.Data refinement is harder to deal with in a refinement tool than ordinary algorithmic refinement,since data refinement usually has to be done on a large program component at once.As to the implementation technology of refinement calculus,the data refinement calculator is constructed and an approach for data refinement which is based on data refinement calculus and program window inference is offered.     

面向路径覆盖的演化测试用例生成技术

为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出了该方法的适用性范围和局限所在.     

非真实感油画绘制中明暗色调获取方法研究

作为与真实感图形学相对应的图形学分支,近年来非真实感图形学的发展受到人们的关注并已成为计算机图形学的研究热点之一.然而,非真实感绘制作为一个新的研究领域在很多方面还处于不断发展之中.在非真实感油画的绘制中,场景中明暗色调的合理性和协调性直接影响到最后生成画面的效果.对非真实感油画绘制中明暗色调的获取方法进行研究,提出一种基于小平面片的色调信息提取方法.该方法假设场景中客体表面均匀覆盖了一层大小相同的正方形"小平面",这些小平面起到了"提取器"的作用.通过计算这些小平面被遮挡的明暗信息和近似的镜面反射信息等来确定小平面所在位置的色调信息,在绘制过程中利用这些色调信息在相应位置上绘制"笔触",从而保证了所生成油画画面场景整体色调的合理性.所提出的方法结构简单、计算速度快,同时可方便实现对场景中局部信息的调整.实验结果验证了所提出方法的有效性.     

高效的基于平面的层次化应用层组播树模型

应用层组播在Internet上有着广泛的应用.本文在K-叉树结构的基础上提出了一种K-叉平面结构,同时在平面的组织上结合了分层和分簇的思想.K-叉平面结构降低了子树之间的错误关联度;分层分簇降低了组播树的深度,减少了组播管理上的复杂度;在增加一定冗余的前提下,不同平面的簇与簇之间采用小概率通信,提高了数据恢复和数据传递的效率.整体而言,组播树的健壮性得到了很好的保证.仿真实验结果证明本模型能够很好地对端用户进行管理,提高了因某些结点意外失效造成的数据恢复和应用层组播的转发效率.     

系统服务Rootkits隐藏行为分析

用挂钩系统服务来实现进程、文件、注册表、端口等对象的隐藏是最常见的rootkits实现方式.然而大量的检测方法并不能将rootkits和其所隐藏的对象对应起来.本文分析了用户层和内核层系统服务rootkits的隐藏行为,建立了6种模型.在检测出系统服务rootkits的基础上,提出了一种分析其二进制执行代码,匹配模型,找出隐藏对象的方法,实现了一个隐藏行为分析原型.实验结果证明这种隐藏行为分析方法能有效分析出隐藏对象.     

MIPv6协议的切换算法的发展及其安全性研究

移动节点切换安全是移动IPv6网络今后研究中最基本的问题之一.切换安全时于保障移动IPv6网络的完整性、可用性,推动其实际应用具有重要意义.本文在全面地阐述了切换算法的发展历程的基础上,对切换过程的网络威胁、安全性需求及现状进行了总结,然后分别对当前的代表性切换算法提供的保护机制进行安全性分析,指出了这些算法相对于安全性需求存在的不足,最后进一步分析和总结了研究现状中存在的问题、需要研究的内容和切换安全性研究的发展趋势.     

一种基于细尺度间小波系数相关性的图像去噪方法

图像去噪问题的研究一直是图像处理的热点问题.首先对噪声图像经小波分解后噪声小波系数在细尺度子带间的分布特点进行了研究,提出了一种结合尺度内和尺度间系数相关性的噪声统计模型--细尺度间噪声系数分布的"类零树结构",以及基于分块的Bayes阈值确定方法.在此基础上将二者相结合,提出了一种新的图像去噪方法.该方法首先通过Bayes阈值去噪法去除高层子带中的噪声,同时利用基于块阈值方法定位次外层子带中的噪声位置,然后利用"类零树结构"模型,估计对应的最外层子带中的噪声的分布,并进行相应的去噪处理.实验结果表明,该方法稳定、有效,去噪效果优于传统Bayes逐点阚值去噪方法,且具有较低的时间复杂度.     

基于双基数的快速标量乘算法

标量乘法是整个椭圆曲线密码体制实现的瓶颈,本文在有效表示标量k方面,引用一个新的数域系统--双基数系统,将标量的双基数链长度限制在O(log k/log log k)范围内,减少标量乘法中的上层运算.在底层域快速算法研究方面,推导出直接计算3kP快速算法.最后结合直接计算2kP,2P±Q,3P±Q及3kP快速算法.给出基于双基数的快速标量乘新算法,新算法的效率优于Dimitrov算法及传统标量乘算法.